<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
<HTML>
 <HEAD>
  <TITLE>Pre bug</TITLE>
 </HEAD>
 <BODY>
<PRE>
Some pre text</pre>
</BODY></HTML>
